Deliverable D 1 . 2 Interaction Patterns and Security Properties

Deliverable D 2 . 1 Secure Interaction Specification

This deliverable reports on the results of the WebSand work package on Secure Web Interaction. It provides a wording definition and technical specification of the term and builds the basis for the development of the server-side framework that achieves Secure Web Interaction.

Deliverable D 2 . 4 Security Architecture ( draft )

Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures

This updated deliverable introduces ASLan++, the AVANTSSAR specification language. ASLan++ has been designed for formally specifying dynamically composed security-sensitive web services and service-oriented architectures, their associated security policies, as well as their trust and security properties, at both communication and application level. We introduce ASLan++ by means of a tutorial an...

BIONETS WP 1 . 1 / 3 . 1 – D 1 . 1 . 4 / 3 . 1 . 4 SerWorks Architecture

Executive Summary In this deliverable we provide a revised version of the SerWorks architecture presented in the previous deliverable D1.1.3/3.1.3. The main components of the SerWorks architecture for BIONETS system were introduced already during the different phases of Subproject 1 and Subproject 3, in particular within deliverables D1.1.1, D1.1.2, D3.1.1 and D3.1.2. These deliverables present...

Deliverable D 3 . 1 Confidentiality and Integrity Policies

This deliverable reports on the results from the WebSand work package on information-flow control. These results underpin a framework for decentralized confidentiality and integrity policies but also include investigations on how to these policies can be enforced.